javascript - 如何用 Greasemonkey 的用户脚本替换 JSON 字符串中的文本